WIP: Spurious substitution failure for lambda naming template parameter in signature [GH #338] - #435

rg -n -C5 \
  '\b(begin_rescan_param_binding|end_rescan_param_binding|restore_template_param_symbols_for_param_list|get_curr_template_params_and_args|push_pack_instantiation)\s*\(' \
  src

set -o pipefail
printf '%s\n' '--- diff ---'
git diff 6c38e1f7b14d7f26078223def95db2f68e433638 696c73cc9e387185e10cf3671fa34a09ba32c5b8 -- src/templates.c src/scope_stk.c src/scope_stk.h
printf '%s\n' '--- templates 11620-11770 ---'
nl -ba src/templates.c | sed -n '11620,11770p'
printf '%s\n' '--- scope 2060-2170 ---'
nl -ba src/scope_stk.c | sed -n '2060,2175p'
printf '%s\n' '--- scope 2230-2430 ---'
nl -ba src/scope_stk.c | sed -n '2230,2430p'
printf '%s\n' '--- scope push and instantiation-scope helpers ---'
rg -n -C12 -F -e 'push_instantiation_scope_for_rescan' -e 'depth_innermost_instantiation_scope' -e 'sck_function_access' -e 'deduced_template_args' src/scope_stk.c src/scope_stk.h src/templates.c

set -o pipefail
printf '%s\n' '--- requires_constraint_satisfied ---'
nl -ba src/templates.c | sed -n '11660,11770p'
printf '%s\n' '--- push_instantiation_scope_for_rescan references ---'
rg -n -F -- 'push_instantiation_scope_for_rescan' src
printf '%s\n' '--- scope helper definitions ---'
rg -n -F -- 'void push_instantiation_scope_for_rescan' src/scope_stk.c src/scope_stk.h
rg -n -F -- 'void pop_instantiation_scope_for_rescan' src/scope_stk.c src/scope_stk.h
printf '%s\n' '--- scope implementation around definitions ---'
for n in $(rg -n -F -- 'void push_instantiation_scope_for_rescan' src/scope_stk.c | cut -d: -f1); do sed -n "$((n-30)),$((n+130))p" src/scope_stk.c; done
printf '%s\n' '--- deduced-template-args consumers around cited locations ---'
nl -ba src/scope_stk.c | sed -n '2100,2170p'
nl -ba src/scope_stk.c | sed -n '12125,12165p'

set -o pipefail
printf '%s\n' '--- push_pack_instantiation ---'
nl -ba src/scope_stk.c | sed -n '13340,13470p'
nl -ba src/scope_stk.c | sed -n '13870,14045p'
printf '%s\n' '--- pop and restore sequence ---'
nl -ba src/scope_stk.c | sed -n '10590,10635p'
nl -ba src/scope_stk.c | sed -n '6288,6335p'
printf '%s\n' '--- depth and scope entry declarations ---'
rg -n -F -e 'depth_innermost_instantiation_scope' -e 'deduced_template_args' src/scope_stk.h src/scope_stk.c | head -80

#!/bin/bash
# Check whether traverse_statement walks variable initializers for stmk_decl.
fd -t f 'il_walk.c' src --exec rg -n -C6 'stmk_decl' {}
# Check where the lambda routine's is_prototype_instantiation flag is set.
rg -nP -C3 'is_prototype_instantiation\s*=' src/class_decl.c

#!/bin/bash
set -e
printf '%s\n' '--- traverse_statement and stmk_decl context ---'
rg -n -F -- 'traverse_statement' src | head -80
rg -n -F -- 'case stmk_decl' src
sed -n '3900,4125p' src/il.c
printf '%s\n' '--- cited lambda dependence caller ---'
sed -n '20590,20910p' src/il.c
printf '%s\n' '--- initializer helper and variable entity uses ---'
rg -n -F -- 'examine_var_init_for_instantiation_dependence' src
rg -n -F -- 'variant.decl' src/il.c | head -40

#!/bin/bash
set -u
printf '%s\n' '--- statement traversal references and declaration case ---'
rg -n -F -- 'traverse_statement' src || true
rg -n -F -- 'case stmk_decl' src || true
printf '%s\n' '--- traversal implementation ---'
sed -n '3980,4110p' src/il.c
printf '%s\n' '--- lambda dependence implementation ---'
sed -n '20620,20900p' src/il.c
printf '%s\n' '--- initializer helper references and definition ---'
rg -n -F -- 'examine_var_init_for_instantiation_dependence' src || true

#!/bin/bash
set -u
printf '%s\n' '--- files containing the traversal case ---'
rg -l -F -- 'case stmk_decl' src || true
printf '%s\n' '--- files containing traversal definition ---'
rg -l -F -- 'traverse_statement(' src || true
printf '%s\n' '--- cited dependence range ---'
sed -n '20640,20900p' src/il.c
printf '%s\n' '--- helper definition and callers ---'
rg -n -F -- 'examine_var_init_for_instantiation_dependence' src || true

#!/bin/bash
set -e
printf '%s\n' '--- traverse_statement implementation ---'
sed -n '3795,4127p' src/il_walk.c
printf '%s\n' '--- variable initializer dependence helper ---'
sed -n '20535,20575p' src/il.c

#!/bin/bash
# Find pushes of template instantiation scopes with a possibly NULL template_arg_list.
rg -nP -C3 'push_template_instantiation_scope|push_simple_instantiation_scope|PS_IS_RESCAN' src --glob '*.c' | head -200

#!/bin/bash
set -e
printf '%s\n' '--- relevant declarations and references ---'
rg -n -F --glob '*.c' -e 'begin_rescan_param_binding' -e 'end_rescan_param_binding' -e 'restore_default_template_params' -e 'restore_default_template_param' -e 'update_template_param_symbols' -e 'push_template_instantiation_scope' src/scope_stk.c src/templates.c src/*.h
printf '%s\n' '--- scope_stk helper and cleanup regions ---'
sed -n '2050,2335p' src/scope_stk.c
printf '%s\n' '--- rescan helper region ---'
rg -n -F -- 'begin_rescan_param_binding' src/scope_stk.c
sed -n '1500,1900p' src/scope_stk.c
printf '%s\n' '--- call-site contexts ---'
rg -n -C8 -F -- 'begin_rescan_param_binding' src --glob '*.c'

#!/bin/bash
set -e
printf '%s\n' '--- rescan binding helpers ---'
sed -n '2278,2422p' src/scope_stk.c
printf '%s\n' '--- cleanup callers and surrounding restoration ---'
sed -n '2428,2500p' src/scope_stk.c
printf '%s\n' '--- current revision and target hunk ---'
git rev-parse HEAD
git diff --unified=12 e6d962177d171ab48ab0eec66c110a4ef9326a76..ef5d582fd6e10b60f3ac472daab009462527dcce -- src/scope_stk.c | sed -n '1,220p'

#!/bin/bash
set -e
printf '%s\n' '--- worktree state ---'
git status --short
printf '%s\n' '--- reviewed commit cleanup branch ---'
git show ef5d582fd6e10b60f3ac472daab009462527dcce:src/scope_stk.c | sed -n '2248,2278p'
printf '%s\n' '--- worktree cleanup branch ---'
sed -n '2248,2278p' src/scope_stk.c
printf '%s\n' '--- il.c rescan caller and enclosing data flow ---'
sed -n '20740,20825p' src/il.c
printf '%s\n' '--- expr.c rescan caller and enclosing data flow ---'
sed -n '18965,19035p' src/expr.c

#!/bin/bash
# Check how diagnostics are deduplicated and how the line-43 case is expected elsewhere.
rg -n "argument list for alias template" tests/tests/imported/clang/cpp/SemaTemplate/.alias-template-with-lambdas.rto/
rg -n -C3 "MeowMeow" tests/tests/imported/clang/cpp/SemaTemplate/alias-template-with-lambdas.cpp

#!/bin/bash
set -u

printf '%s\n' '--- candidate test files ---'
rg --files | rg 'alias-template-with-lambdas|SemaTemplate' | head -200

printf '%s\n' '--- changed paths and diff ---'
git diff --name-status e6d962177d171ab48ab0eec66c110a4ef9326a76 ef5d582fd6e10b60f3ac472daab009462527dcce -- \
  '*alias-template-with-lambdas*' '*SemaTemplate*' '*diagnos*' '*Diagnostic*' || true

printf '%s\n' '--- source references ---'
rg -n -F --glob '*.cpp' --glob '*.c' --glob '*.h' -e 'MeowMeow' -e 'argument list for alias template' -e 'alias-template-with-lambdas' . || true

printf '%s\n' '--- baseline sections at head and base ---'
git show ef5d582fd6e10b60f3ac472daab009462527dcce:tests/tests/imported/clang/cpp/SemaTemplate/.alias-template-with-lambdas.rto/default.1.1.txt 2>/dev/null | nl -ba | sed -n '75,130p' || true
git show e6d962177d171ab48ab0eec66c110a4ef9326a76:tests/tests/imported/clang/cpp/SemaTemplate/.alias-template-with-lambdas.rto/default.1.1.txt 2>/dev/null | nl -ba | sed -n '75,130p' || true

#!/bin/bash
set -u

printf '%s\n' '--- complete changed-path list ---'
git diff --name-status e6d962177d171ab48ab0eec66c110a4ef9326a76 ef5d582fd6e10b60f3ac472daab009462527dcce

printf '%s\n' '--- compact diff summary ---'
git diff --stat e6d962177d171ab48ab0eec66c110a4ef9326a76 ef5d582fd6e10b60f3ac472daab009462527dcce

printf '%s\n' '--- source test context ---'
nl -ba tests/tests/imported/clang/cpp/SemaTemplate/alias-template-with-lambdas.sft.cpp | sed -n '1,125p'

printf '%s\n' '--- implementation changes mentioning lambda/template substitution ---'
git diff -U5 e6d962177d171ab48ab0eec66c110a4ef9326a76 ef5d582fd6e10b60f3ac472daab009462527dcce -- \
  '*.cpp' '*.c' '*.h' '*.hpp' '*.inc' '*.cc' '*.cxx' |
  rg -n -C4 'lambda|Lambda|rescan|re-scan|substitut|diagnos|diagnostic|MeowMeow|GH82104' || true

printf '%s\n' '--- diagnostic-related source candidates ---'
rg -n -F --glob '*.{cpp,c,h,hpp,inc,cc,cxx}' -e 'duplicate diagnostic' -e 'dedup' -e 'rescan' -e 're-scan' -e 'suppress.*diagnos' -e 'diagnos.*suppress' . || true

#!/bin/bash
set -u

printf '%s\n' '--- new regression sources ---'
nl -ba tests/tests/regressions/gh-338-diag.sft.cpp
nl -ba tests/tests/regressions/gh-338-rescan.sft.cpp

printf '%s\n' '--- new regression baselines ---'
for f in tests/tests/regressions/.gh-338-diag.rto/default.1.1.txt \
         tests/tests/regressions/.gh-338-diag.rto/default.2.1.txt \
         tests/tests/regressions/.gh-338-diag.rto/default.3.1.txt \
         tests/tests/regressions/.gh-338-rescan.rto/default.1.1.txt \
         tests/tests/regressions/.gh-338-rescan.rto/default.2.1.txt; do
  printf '%s\n' "--- $f ---"
  nl -ba "$f"
done

printf '%s\n' '--- lambda rescan implementation ---'
rg -n -F -e 'copy_template_param_lambda_expr' -e 'begin_rescan_param_binding' -e 'end_rescan_param_binding' -e 'suppress_diagnostics' src/expr.c src/exprutil.c src/scope_stk.c src/scope_stk.h
sed -n '20740,20930p' src/expr.c
sed -n '18920,19060p' src/expr.c

printf '%s\n' '--- exact new rescan helper definitions ---'
rg -n -C8 'begin_rescan_param_binding|end_rescan_param_binding' src/scope_stk.c src/scope_stk.h

#!/bin/bash
set -u

printf '%s\n' '--- pending change rationale ---'
nl -ba src/pending_changes/gh-338-lambda-template-param.txt

printf '%s\n' '--- lambda-copy function location and body ---'
rg -n -F 'copy_template_param_lambda_expr' src/expr.c src/exprutil.c
line=$(rg -n -F 'copy_template_param_lambda_expr' src/expr.c src/exprutil.c | head -1 | cut -d: -f2)
if [ -n "${line:-}" ]; then
  start=$((line-15)); end=$((line+190))
  sed -n "${start},${end}p" src/expr.c src/exprutil.c
fi

printf '%s\n' '--- alias-template baseline diff ---'
git diff --unified=12 e6d962177d171ab48ab0eec66c110a4ef9326a76 ef5d582fd6e10b60f3ac472daab009462527dcce -- \
  tests/tests/imported/clang/cpp/SemaTemplate/.alias-template-with-lambdas.rto/default.1.1.txt

printf '%s\n' '--- relevant implementation diff around lambda substitution ---'
git diff --unified=12 e6d962177d171ab48ab0eec66c110a4ef9326a76 ef5d582fd6e10b60f3ac472daab009462527dcce -- src/expr.c src/scope_stk.c src/templates.c | \
  rg -n -C12 'copy_template_param_lambda_expr|scan_lambda_expression|suppress_diagnostics|begin_rescan_param_binding|enable_variadic|pack' || true

#!/bin/bash
set -u

printf '%s\n' '--- exact lambda-copy symbols ---'
rg -n -F -e 'copy_template_param_lambda_expr' -e 'scan_lambda_expression(&result_operand)' -e 'scan_lambda_expression(' src | head -120

printf '%s\n' '--- il.c lambda-copy implementation ---'
line=$(rg -n -F 'copy_template_param_lambda_expr' src | head -1 | cut -d: -f2)
file=$(rg -l -F 'copy_template_param_lambda_expr' src | head -1)
printf 'file=%s line=%s\n' "$file" "$line"
if [ -n "${line:-}" ] && [ -n "${file:-}" ]; then
  start=$((line-20)); end=$((line+260))
  nl -ba "$file" | sed -n "${start},${end}p"
fi

printf '%s\n' '--- callers and diagnostic replay around the function ---'
rg -n -C12 -F 'copy_template_param_lambda_expr(' src || true
rg -n -C8 -e 'rescan.*diagnos|diagnos.*rescan|diag_list|splice_diag_list|suppress_diagnostics' src/il.c src/expr.c src/exprutil.c src/templates.c | head -500

# Locate the changed concept-binding functions and the restore logic.
rg -n -F -e 'is_concept_satisfied' -e 'check_type_constraint' -e 'restore_default_template_params' -e 'no_c++11_sfinae' -e 'no_cpp11_sfinae' -- src/ || test "$?" -eq 1
rg -n -F -e 'rescan' -e 'dummy' -- src/scope_stk.c || test "$?" -eq 1

# Outline the two changed files to bound the declarations.
ast-grep outline src/exprutil.c --view expanded | rg -n -F -e 'is_concept_satisfied' -e 'check_type_constraint' || test "$?" -eq 1
ast-grep outline src/scope_stk.c --view expanded | rg -n -F -e 'pop' -e 'restore' -e 'scope' || test "$?" -eq 1

# Read the hunks around the cited lines.
sed -n '26840,26900p' src/exprutil.c | cat -n
sed -n '27520,27570p' src/exprutil.c | cat -n

# Find how the SFINAE option and dummy rescan entries are handled.
rg -n -i 'sfinae' src/scope_stk.c src/scope_stk.h src/cmd_line.c src/cmd_line.h || test "$?" -eq 1

# Read the rescan push and pop bodies, including the dummy-entry handling.
sed -n '6226,6340p' src/scope_stk.c | cat -n

# Read the template-parameter restore helpers.
sed -n '2186,2232p' src/scope_stk.c | cat -n

# Read the scope-pop restore path for parameter values.
sed -n '10606,10630p' src/scope_stk.c | cat -n

#!/bin/bash
# Inspect scope handling for local-static initializers and callers of the new helper.
rg -nP -C6 '\bfind_local_static_variable_init\s*\(' src/il.c | head -80
rg -nP -C4 '\btraverse_variable_init\s*\(' src --type=c
rg -nP -C3 'STANDALONE_UTILITY_PROGRAM' src/il_walk.c | head -60

#!/bin/bash
set -u
printf '%s\n' '--- get_variable_initializer and local-static lookup ---'
sed -n '17275,17355p' src/il.c
printf '%s\n' '--- traverse_variable_init complete function ---'
sed -n '3760,3835p' src/il_walk.c
printf '%s\n' '--- declaration traversal owner and caller context ---'
sed -n '20635,20720p' src/il.c
printf '%s\n' '--- scope-stack/function-scope symbols ---'
rg -n -F --glob '*.c' --glob '*.h' -e 'innermost_function_scope' -e 'scope_stack' -e 'examine_statement_for_instantiation_dependence' src | head -160
printf '%s\n' '--- local-static initializer call sites ---'
rg -n -F --glob '*.c' --glob '*.h' -- 'get_variable_initializer(' src

#!/bin/bash
set -u
printf '%s\n' '--- lambda-body dependence traversal ---'
sed -n '20710,20840p' src/il.c
printf '%s\n' '--- callers of lambda_body_is_instantiation_dependent ---'
rg -n -F --glob '*.c' --glob '*.h' -- 'lambda_body_is_instantiation_dependent(' src
printf '%s\n' '--- traversal entry points ---'
rg -n -F --glob '*.c' --glob '*.h' -e 'traverse_statement(' -e 'traverse_expr(' src/il.c src/il_walk.c | head -220
printf '%s\n' '--- function-scope setup around IL walking ---'
rg -n -P --glob '*.c' 'innermost_function_scope\s*=|depth_innermost_function_scope\s*=' src/il.c src/il_walk.c src/expr.c src/decls.c src/scope_stk.c | head -160
printf '%s\n' '--- local-static variable creation and declaration linkage ---'
rg -n -P --glob '*.c' -C4 'initk_function_local|local_static_variable_inits' src/decls.c src/il.c src/scope_stk.c src/func_def.c | head -240

#!/bin/bash
set -u
printf '%s\n' '--- substitution call context ---'
sed -n '20835,20880p' src/il.c
printf '%s\n' '--- IL walk scope management ---'
sed -n '2600,2820p' src/il_walk.c
printf '%s\n' '--- all traverse_variable_init callers with compact context ---'
rg -n -F -C8 --glob '*.c' -- 'traverse_variable_init(' src/il.c src/il_walk.c
printf '%s\n' '--- changed hunk versus requested base ---'
git diff --no-ext-diff --unified=25 e6d962177d171ab48ab0eec66c110a4ef9326a76 e1c1575e4e5602a997eb084a86c9e4a77c197b4a -- src/il_walk.c src/il.c src/il_walk.h

#!/bin/bash
set -u
printf '%s\n' '--- local-static creation callers ---'
rg -n -F -C12 --glob '*.c' -- 'allocate_local_static_variable_init(' src
printf '%s\n' '--- dependence traversal guard context ---'
sed -n '20470,20720p' src/il.c
printf '%s\n' '--- standalone utility definitions and build scope ---'
rg -n -F --glob '*.[ch]' --glob '*.mak' --glob 'Makefile*' -e 'STANDALONE_UTILITY_PROGRAM' -e 'standalone utility' . | head -180

set -eu
printf '%s\n' '--- call site and nearby block ---'
nl -ba src/il.c | sed -n '20670,20745p'
printf '%s\n' '--- scope helper declarations/definitions and references ---'
rg -n -F -- 'scope_for_routine_or_null' src
printf '%s\n' '--- scan_lambda_expression declarations/definitions/references ---'
rg -n -F -- 'scan_lambda_expression' src
printf '%s\n' '--- function_def_number and lambda body discard references ---'
rg -n -F -e 'function_def_number' -e 'lambda_routine' -e 'discard' src/class_decl.c src/il.c | sed -n '1,240p'
printf '%s\n' '--- relevant head diff ---'
git diff e6d962177d171ab48ab0eec66c110a4ef9326a76 e1c1575e4e5602a997eb084a86c9e4a77c197b4a -- src/il.c src/class_decl.c | sed -n '1,320p'

set -eu
printf '%s\n' '--- scope_for_routine_or_null ---'
nl -ba src/il.c | sed -n '11395,11448p'
printf '%s\n' '--- scan_lambda_expression ---'
nl -ba src/expr.c | sed -n '43195,43365p'
printf '%s\n' '--- lambda finish processing ---'
nl -ba src/class_decl.c | sed -n '35345,35440p'
printf '%s\n' '--- lambda processing callers and post-scan path ---'
nl -ba src/il.c | sed -n '20815,20890p'
nl -ba src/class_decl.c | sed -n '35640,35790p'
printf '%s\n' '--- function-definition discard logic ---'
nl -ba src/il.c | sed -n '30345,30420p'
printf '%s\n' '--- exact head versions of relevant blocks ---'
git show e1c1575e4e5602a997eb084a86c9e4a77c197b4a:src/class_decl.c | nl -ba | sed -n '35345,35440p'
git show e1c1575e4e5602a997eb084a86c9e4a77c197b4a:src/expr.c | nl -ba | sed -n '43205,43360p'

set -eu
printf '%s\n' '--- scan_lambda definition and surrounding finalization ---'
rg -n -F -- 'scan_lambda(' src/class_decl.c src
nl -ba src/class_decl.c | sed -n '35940,36055p'
nl -ba src/class_decl.c | sed -n '36290,36380p'
printf '%s\n' '--- all callers of eliminate_function_body and nearby conditions ---'
rg -n -F -- 'eliminate_function_body(' src
printf '%s\n' '--- prototype-instantiation discard call sites ---'
rg -n -F -e 'eliminate_function_body' -e 'is_prototype_instantiation' src/class_decl.c src/il.c | sed -n '1,260p'
printf '%s\n' '--- exact post-rescan cleanup ordering ---'
nl -ba src/il.c | sed -n '20840,20915p'

printf '%s\n' '--- scan_lambda entry and body path ---'
nl -ba src/class_decl.c | sed -n '35850,35950p'
printf '%s\n' '--- elimination function name and callers ---'
sed -n '30320,30355p' src/il.c
rg -n -E 'eliminate|function_def_number[[:space:]]*=[[:space:]]*NULL_function_def_number' src/il.c src/class_decl.c | sed -n '1,260p'
printf '%s\n' '--- scope-pop and function-body processing references ---'
rg -n -F -e 'finish_function_processing_for_function_def' -e 'pop_scope()' src/class_decl.c src/il.c | sed -n '1,260p'

printf '%s\n' '--- clear_function_body references ---'
rg -n -F -- 'clear_function_body' src
printf '%s\n' '--- pop_scope definitions and nearby body cleanup ---'
rg -n -F -- 'void pop_scope' src
rg -n -F -- 'clear_function_body(' src

printf '%s\n' '--- scope-stack clear callers ---'
nl -ba src/scope_stk.c | sed -n '10545,10615p'
nl -ba src/scope_stk.c | sed -n '10665,10725p'
printf '%s\n' '--- template clear caller ---'
nl -ba src/templates.c | sed -n '21085,21130p'
printf '%s\n' '--- IL cleanup caller ---'
nl -ba src/il.c | sed -n '31105,31145p'
printf '%s\n' '--- scan lambda pop and helper call ---'
nl -ba src/class_decl.c | sed -n '36005,36020p'
nl -ba src/il.c | sed -n '20842,20870p'

set -eu
printf '%s\n' '--- diff scope ---'
git diff --unified=35 e6d962177d171ab48ab0eec66c110a4ef9326a76 e1c1575e4e5602a997eb084a86c9e4a77c197b4a -- src/il.c src/class_decl.c

printf '%s\n' '--- relevant symbols ---'
rg -n -F -- 'lambda_body_is_instantiation_dependent' src/il.c src/class_decl.c
rg -n -F -- 'is_nonreal_class' src/il.c src/class_decl.c | tail -80
rg -n -F -e 'new_lambda' -e 'CTWS_MAY_BE_RESCANNED' -e 'rescan' src/il.c | tail -140

set -eu
git diff --unified=35 e6d962177d171ab48ab0eec66c110a4ef9326a76 e1c1575e4e5602a997eb084a86c9e4a77c197b4a -- src/il.c src/class_decl.c
printf '%s\n' '--- relevant symbols ---'
rg -n -F -- 'lambda_body_is_instantiation_dependent' src/il.c src/class_decl.c
rg -n -F -- 'is_nonreal_class' src/il.c src/class_decl.c | tail -80
rg -n -F -e 'new_lambda' -e 'CTWS_MAY_BE_RESCANNED' -e 'rescan' src/il.c | tail -140

set -eu
printf '%s\n' '--- lambda declarations and fields ---'
rg -n -F -e 'typedef struct a_lambda' -e 'struct a_lambda' -e 'a_lambda_ptr' include src | head -100
rg -n -F -e 'lambda_routine->type' -e 'lambda->lambda_routine->type' -e 'is_instantiation_dependent_type(' src include | head -140

printf '%s\n' '--- lambda capture/type consumers ---'
rg -n -F -e 'capture' -e 'lambda_capture' src/class_decl.c src/il.c include | head -180

#!/bin/bash
rg -nP -C8 '\bbegin_rescan_param_binding\s*\(' src
rg -nP -C4 'deduced_template_args\s*=' src --glob '*.c'

#!/bin/bash
set -eu
printf '%s\n' '--- scope_stk.c affected functions ---'
sed -n '2200,2430p' src/scope_stk.c
printf '%s\n' '--- partial update definitions/references ---'
rg -n -F -e 'update_template_param_symbols' -e 'template_arg_can_update_param_symbol' -e 'restore_default_template_params' -e 'restore_default_template_param' src/scope_stk.c src/*.c src/*.h || test "$?" -eq 1
printf '%s\n' '--- il.c caller context ---'
sed -n '20720,20855p' src/il.c
printf '%s\n' '--- relevant template argument structures/comments ---'
sed -n '1980,2050p' src/scope_stk.c
printf '%s\n' '--- PR diff for affected file ---'
git diff e6d962177d171ab48ab0eec66c110a4ef9326a76 e1c1575e4e5602a997eb084a86c9e4a77c197b4a -- src/scope_stk.c src/il.c

#!/bin/bash
set -eu
printf '%s\n' '--- update helper ---'
sed -n '2018,2168p' src/scope_stk.c
printf '%s\n' '--- lambda-copy callers ---'
rg -n -F -e 'copy_template_param_lambda_expr(' -e 'template_arg_list' src/il.c src/*.c | sed -n '1,240p'
printf '%s\n' '--- template argument list definitions and missing-slot comments ---'
rg -n -F -e 'missing entries' -e 'empty slot' -e 'deduction' src/templates.c src/il.c src/scope_stk.c src/*.h | sed -n '1,240p'
printf '%s\n' '--- relevant caller blocks ---'
sed -n '20855,21040p' src/il.c

set -o pipefail
printf '%s\n' '--- function and documentation ---'
nl -ba src/scope_stk.c | sed -n '2260,2385p'
printf '%s\n' '--- callers ---'
rg -n -F -- 'begin_rescan_param_binding(' src include . || test "$?" -eq 1
printf '%s\n' '--- related state declarations and cleanup ---'
rg -n -F -- 'in_variadic_template' src/scope_stk.c src/il.c src/*.h include 2>/dev/null || true
printf '%s\n' '--- diff for function against merge base ---'
git diff --unified=30 e6d962177d171ab48ab0eec66c110a4ef9326a76 e1c1575e4e5602a997eb084a86c9e4a77c197b4a -- src/scope_stk.c

set -o pipefail
printf '%s\n' '--- src/il.c caller ---'
nl -ba src/il.c | sed -n '20745,20825p'
printf '%s\n' '--- src/expr.c caller ---'
nl -ba src/expr.c | sed -n '18965,19055p'
printf '%s\n' '--- binding cleanup ---'
nl -ba src/scope_stk.c | sed -n '2380,2435p'
printf '%s\n' '--- state declaration and prototype ---'
nl -ba src/scope_stk.h | sed -n '2470,2525p'

#!/bin/bash
rg -nP -B30 -A60 '\bbegin_rescan_param_binding\s*\(' src/il.c | rg -n 'pack_expansion|begin_rescan_pack|push_decl_scope|TRUE|FALSE'

set -o pipefail
printf '%s\n' '--- direct callers ---'
rg -n -F --glob '*.[ch]' -e 'begin_rescan_param_binding(' -e 'begin_rescan_pack_expansion_context' -e 'end_rescan_param_binding' src || true
printf '%s\n' '--- caller context ---'
sed -n '20735,20835p' src/il.c
printf '%s\n' '--- binding implementation ---'
rg -n -F -- 'begin_rescan_param_binding(' src/scope_stk.c src/*.h || true
sed -n '2270,2415p' src/scope_stk.c
printf '%s\n' '--- scope push and pack stack handling ---'
rg -n -F -- 'push_scope_full(' src/scope_stk.c
sed -n '3720,3845p' src/scope_stk.c
printf '%s\n' '--- pack-expansion context helpers ---'
rg -n -F -- 'begin_rescan_pack_expansion_context' src || true
rg -n -F -- 'pack_expansion_stack' src/il.c src/scope_stk.c | head -120